Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
higher-order macro higher-order function least fixed point HOL Church integer abstraction FL polymorphic lambda-calculus map fix Bird-Meertens Formalism order-embedding applicative order reduction Ratatosk FP functional Skel-ML Lambda Prolog BABEL interpolation OBJ inline fully lazy lambda lifting lazy evaluation LUCID filter function combinator Gofer first-order pattern matching hash function 6.001 key Quest partial function first-order logic injection linear function strength reduction compiler referential transparency LNF bracket abstraction total function one-way hash function CHOCS lambda lifting traversal argument trap-door function cproto reduction metric space space leak one-way function client-server TrafoLa F-Logic Fresh more...